List of bibliographic references indexed by Danemark
Number of relevant bibliographic references: 47.
[0-20] [
0 - 20][
0 - 47][
20-40]
Ident. | Authors (with country if any) | Title |
---|
001415 (2013) |
Georgios M. Kontogeorgis [Danemark] ; Jean-Noel Jaubert [France] ; Jean-Charles De Hemptinne [France] | Éditorial |
001468 (2013) |
Weishan Zhang [République populaire de Chine] ; Klaus Marius Hansen [Danemark] ; Paolo Bellavista [Italie] | The 1st International Workshop on Self-Managing Pervasive Service Systems (SeMaPS 2012) |
001631 (2013) |
Mikkel Birkegaard Andersen [Danemark] ; Thomas Bolander [Danemark] ; Hans Van Ditmarsch [France] ; Martin Holm Jensen [Danemark] | Bisimulation for Single-Agent Plausibility Models |
001659 (2013) |
Weishan Zhang [République populaire de Chine] ; Klaus Marius Hansen [Danemark] ; Paolo Bellavista [Italie] | A Research Roadmap for Context-Awareness-Based Self-managed Systems |
001F71 (2011-12-04) |
Mohamed Ahmed Abdelraheem [Danemark] ; Céline Blondeau [France] ; Maria Naya-Plasencia [Suisse] ; Marion Videau [France] ; Erik Zenner [Allemagne] | Cryptanalysis of ARMADILLO2 |
002376 (2011-05-06) |
Liana Razmerita [Danemark] ; Armelle Brun [France] | Collaborative Learning in Heterogeneous Classes: Towards a Group Formation Methodology |
002621 (2011) |
Roberto Carbone [Italie] ; Marius Minea [Roumanie] ; Sebastian Alexander Mödersheim [Danemark] ; Serena Elisa Ponta [France, Italie] ; Mathieu Turuani [France] ; Luca Vigan [Italie] | Towards Formal Validation of Trust and Security in the Internet of Services |
002647 (2011) |
Carsten Fuhs [Allemagne] ; Jürgen Giesl [Allemagne] ; Michael Parting [Allemagne] ; Peter Schneider-Kamp [Danemark] ; Stephan Swiderski [Allemagne] | Proving Termination by Dependency Pairs and Inductive Theorem Proving |
002681 (2011) |
Catherine Eng [France] ; Annabelle Thibessard [France] ; Morten Danielsen [Danemark] ; Thomas Bovbjerg Rasmussen [Danemark] ; Jean-François Mari [France] ; Pierre Leblond [France] | In silico prediction of horizontal gene transfer in Streptococcus thermophilus |
002724 (2011) |
Mohamed Ahmed Abdelraheem [Danemark] ; Céline Blondeau [France] ; María Naya-Plasencia [Suisse, France] ; Marion Videau [France] ; Erik Zenner [Allemagne] | Cryptanalysis of ARMADILLO2 |
002925 (2010-12-06) |
Liana Razmerita [Danemark] ; Armelle Brun [France] | Assigning Students in Groups: Self-formed Groups versus Automatically-formed Groups |
002E80 (2010) |
Jinsan Cheng [République populaire de Chine] ; Sylvain Lazard [France] ; Luis Pe Aranda [France] ; Marc Pouget [France] ; Fabrice Rouillier [France] ; Elias P. Tsigaridas [Danemark] | On the topology of real algebraic plane curves |
003030 (2010) |
Michael Codish [Israël] ; Jürgen Giesl [Allemagne] ; Peter Schneider-Kamp [Danemark] ; René Thiemann [Autriche] | SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs |
003104 (2010) |
Armelle Brun [France] ; Anne Boyer [France] ; Liana Razmerita [Danemark] | Compass to Locate the User Model I Need: Building the Bridge between Researchers and Practitioners in User Modeling |
003108 (2010) |
John Fitzgerald [Royaume-Uni] ; Peter Gorm Larsen [Danemark] ; Ken Pierce [Royaume-Uni] ; Marcel Verhoef [Pays-Bas] ; Sune Wolff [Danemark] | Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems |
003887 (2009) |
Jakob Grue Simonsen [Danemark] | The $\Pi^0_2$-Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity) |
003944 (2009) |
Eric Jul [Danemark] ; Ian Rogers [Royaume-Uni] | Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems |
003975 (2009) |
Hanne Gottliebsen [Danemark] ; Kristoffer H. Rose | Converting between Combinatory Reduction Systems and Big Step Semantics |
004172 (2008) |
Olivier Zendra [France] ; Eric Jul [Danemark] ; Roland Ducournau [France] ; Etienne Gagnon [Canada] ; Richard Jones [Royaume-Uni] ; Chandra Krintz [États-Unis] ; Philippe Mulet [France] ; Jan Vitek [États-Unis] | International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07 |
004375 (2008) |
Olivier Zendra [France] ; Eric Jul [Danemark] ; Roland Ducournau [France] ; Etienne Gagnon [Canada] ; Richard Jones [Royaume-Uni] ; Chandra Krintz [États-Unis] ; Philippe Mulet [France] ; Jan Vitek [États-Unis] | Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems |
004385 (2008) |
Dines Bj Rner [France, Danemark] | From Domain to Requirements |
List of associated Author.i
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffPays.i -k "Danemark"
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffPays.i \
-Sk "Danemark" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= indexItem
|index= AffPays.i
|clé= Danemark
}}
| This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022 | |